#include <arch/types.h>
#include <stdio.h>

static int counter = 0;

int putchar(int character) {
	word *VM = (word *) 0xC00B8000;
	VM[counter] = character | 0x0F << 8;
	counter++;
	return character;
}
